Recherche coopérative et Nogood Recording

RÉSUMÉ. Dans le cadre du problème de satisfaction de contraintes, nous proposons un nouveau schéma de recherche parallèle coopérative. La coopération est réalisée en échangeant des nogoods (instanciations qui ne peuvent être étendues en une solution). Nous associons un processus à chaque solveur et nous introduisons un gestionnaire de nogoods, afin de réguler les échanges de nogoods. Chaque solveur emploie l’algorithme Forward-Checking avec Nogood Recording. Nous ajoutons à l’algorithme une phase d’interprétation qui limite la taille de l’arbre de recherche suivant les nogoods reçus. Les solveurs diffèrent par l’emploi d’heuristiques distinctes pour le choix des variables et/ou des valeurs. L’intérêt de cette approche est démontré expérimentalement. En particulier, nous obtenons des accélérations linéaires ou superlinéaires pour des problèmes consistants comme pour des problèmes inconsistants, jusqu’à une dizaine de solveurs.